trait Cell {
	type t
	var contents :t
}

object main {
	def main(args :Array[String]) = {
		val c1 /*:Cell{type t=Int}*/= new Cell {type t=Int; var contents=10}
		val c2 /*:Cell{type t=Int}*/= new Cell {type t=Int; var contents=100}
		c1.contents = c2.contents
	}
}